この導入スライドは、一次元の実数直線から二次元の代数的領域への移行を示しています。虚数単位 $i$ を $i^2 = -1$ という性質で定義することで、複素数が単なる二つの数の組み合わせではなく、実数スカラーと純虚数成分から成る単一の実体であることが明らかになります。これにより、複素数ベクトル空間の基礎が築かれます。
基本恒等式
恒等式 $i^2 = -1$ は、実数範囲では解けない方程式（例：$x^2 + 1 = 0$）に対して解を与えてくれます。この領域では、負の値の平方根を恐れる必要がなくなり、回転操作として受け入れられるようになります。
複素数の構造
複素数（例：$3 + 2i$）は、実数（3）と純虚数（$2i$）の和です。
- 実部は $a = \text{Re}(a + bi)$ です。
- 虚部は $b = \text{Im}(a + bi)$ です。
重要な区別： $\text{Im}(z)$ は項 $bi$ ではなく、実数係数 $b$ であることに注意してください。$3+2i$ の虚部は $2$ であり、$2i$ ではありません。
表記法：工学分野の 'j'
数学および物理学では $i$ を標準的に使用しますが、電気工学では電流（$I$）との混同を避けるため、$j$ を用います。これは信号処理や回路解析など、跨学際的な応用において極めて重要な表記の違いです。 ただし、電気工学者はこれを $j$ と呼びます。 $z = x + jy$ という形を見たら、その背後にある論理はまったく同じであることを思い出してください。
具体例：構造共振
構造共振に現れる二次方程式 $x^2 + 9 = 0$ について考えてみましょう。実数体系ではこの方程式は解を持たず、振動がないことを意味しますが、これは振動する梁にとって物理的に正確ではありません。
「実数直線の先」へ移行することで、$x^2 = -9$ を分離し、平方根を取ります：
$x = \pm \sqrt{-9} = \pm \sqrt{9} \cdot \sqrt{-1} = \pm 3i$。
ここで $3$ は虚部の大きさであり、実数のみの微積分では捉えられない振動挙動をモデル化できるようにします。